Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
571	PROGRAMMING IN BIOMOLECULAR COMPUTATION Lars Hartmann Neil D. Jones Jakob Grue Simonsen + Visualization by Søren Bjerregaard Vrist Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:43 Models of computation Computability theory Turing machine Turing completeness Algorithm Computability Programming language Cellular automaton Alan Turing Theoretical computer science Computer science Theory of computation
572	INDUCTIVE INFERENCE THEORY — A UNIFIED APPROACH TO PROBLEMS IN PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:28:45 Computability theory Theory of computation Ray Solomonoff Prior probability Inductive inference Computable function Computability Probabilistic automaton Economic model Probability Artificial intelligence Statistics
573	45th Southeastern Symposium on System Theory Baylor University, Waco, TX, USA, March 11, 2013 On the Improbability of Algorithmic Specified Complexity Winston Ewert & Robert J. Marks II Add to Reading List Source URL: robertmarks.org Language: English - Date: 2013-06-10 20:34:50 Information theory Randomness Computability theory Descriptive complexity Kolmogorov complexity Specified complexity Complexity Algorithmic information theory PP Theoretical computer science Science Applied mathematics
574	Undecidability and Intractability in Theoretical PhysicsPhysical processes are viewed as computations, and the difficulty of answering Add to Reading List Source URL: www.stephenwolfram.com Language: English - Date: 2013-09-24 11:02:15 Computability theory Theory of computation Structural complexity theory Computational problems Cellular automaton Computational irreducibility A New Kind of Science Turing machine P versus NP problem Theoretical computer science Applied mathematics Mathematics
575	Expressing Heap-shape Contracts in Linear Logic Frances Perry Limin Jia ∗ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 C++ C programming language Procedural programming languages Computability theory Theoretical computer science C++ classes Struct ALGOL 68 Logic programming Software engineering Computing Computer programming
576	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
577	A Haskell Library for Term Rewriting Bertram Felgenhauer1 , Martin Avanzini1 and Christian Sternagel2 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 11:14:24 Formal languages Logic in computer science Computability theory Mathematical logic Rewriting Critical pair Unification Confluence Monad Theoretical computer science Programming language theory Applied mathematics
578	Technical Report IDSIAIn Artificial General Intelligence, 2007 UNIVERSAL ALGORITHMIC INTELLIGENCE A mathematical top→down approach Add to Reading List Source URL: www.hutter1.net Language: English - Date: 2007-01-19 20:30:44 Ethology Statistical inference Cybernetics Computability theory Marcus Hutter Inductive inference Ray Solomonoff Algorithmic probability Kolmogorov complexity Science Knowledge Artificial intelligence
579	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
580	LNAIOn the Relationship between Models for Learning in Helpful Environments Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2005-02-05 20:17:52 Computational learning theory Probably approximately correct learning Computability theory Polynomial Kolmogorov complexity NP Algorithm Theoretical computer science Applied mathematics Computational complexity theory

UPDATE